Numeric Model of N-Body Problem on Domains

New Perspectives on the N -body Problem

The problem of the motion of N ≥ 2 point–masses (i.e., ideal bodies with no physical dimension identified with points in the Euclidean three–dimensional space) interacting only through Newton’s law of mutual gravitational attraction, has been a central issue in astronomy, physics and mathematics since the early developments of modern calculus. When N = 2 the problem has been completely solved (...

On the dihedral n-body problem

Consider n = 2l ≥ 4 point particles with equal masses in space, subject to the following symmetry constraint: at each instant they form an orbit of the dihedral group Dl, where Dl is the group of order 2l generated by two rotations of angle π around two secant lines in space meeting at an angle of π/l. By adding a homogeneous gravitational (Newtonian) potential one finds a special n-body proble...

The N-body Problem

Numeric Domains with Summarized Dimensions

We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentially unbounded collections of numeric objects. Such domains are of benefit to analyses that verify properties of systems with an unbounded number of numeric objects, such as shape analysis, or systems in which the numb...

Extending Consistent Domains of Numeric CSP

This paper introduces a new framework for extending consistent domains of numeric CSP. The aim is to offer the greatest possible freedom of choice for one variable to the designer of a C A D application. Thus, we provide here an efficient and incremental algor i thm which computes the maximal extension of the domain of one variable. The key point of this framework is the definit ion, for each i...